package plus.exp;


public class E_Rename extends Exp {

	String name;
	Exp e;

	public E_Rename(String name, Exp e) {
		this.name = name;
		this.e = e;
		//System.out.println("renamed "+e.impliedName()+"("+e.getClass()+") as "+name);
	}
	@Override
	public void threadScope() { e.threadScope(); type = e.type; }
	@Override String impliedName() { return name; }
	@Override String aThis() { return "a named field"; }
	@Override
	public void compilePush() { e.compilePush(); }
}
